3,240 research outputs found
A Robust Localization System for Inspection Robots in Sewer Networks â€
Sewers represent a very important infrastructure of cities whose state should be monitored
periodically. However, the length of such infrastructure prevents sensor networks from being
applicable. In this paper, we present a mobile platform (SIAR) designed to inspect the sewer network.
It is capable of sensing gas concentrations and detecting failures in the network such as cracks and
holes in the floor and walls or zones were the water is not flowing. These alarms should be precisely
geo-localized to allow the operators performing the required correcting measures. To this end, this
paper presents a robust localization system for global pose estimation on sewers. It makes use of prior
information of the sewer network, including its topology, the different cross sections traversed and
the position of some elements such as manholes. The system is based on a Monte Carlo Localization
system that fuses wheel and RGB-D odometry for the prediction stage. The update step takes into
account the sewer network topology for discarding wrong hypotheses. Additionally, the localization
is further refined with novel updating steps proposed in this paper which are activated whenever
a discrete element in the sewer network is detected or the relative orientation of the robot over the
sewer gallery could be estimated. Each part of the system has been validated with real data obtained
from the sewers of Barcelona. The whole system is able to obtain median localization errors in the
order of one meter in all cases. Finally, the paper also includes comparisons with state-of-the-art
Simultaneous Localization and Mapping (SLAM) systems that demonstrate the convenience of the
approach.Unión Europea ECHORD ++ 601116Ministerio de Ciencia, Innovación y Universidades de España RTI2018-100847-B-C2
Localization in tame and wild coalgebras
We apply the theory of localization for tame and wild coalgebras in order to
prove the following theorem: "Let Q be an acyclic quiver. Then any tame
admissible subcoalgebra of KQ is the path coalgebra of a quiver with
relations".Comment: 23 pages, to appear in Journal of Pure and Applied Algebr
- …